搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Machine-aided image analysis, 1978 : invited and contributed papers from the International Conference on the Applications of Machine-aided Image Analysis held at the University of Oxford, 4-6 September 1978 0 索取号：TP39-53/E802/1978 作者：International Conference on the Applications of Machine-aided Image Analysis (1978 : Oxford)、Gardner、 W. E.、出版社：Bristol, Eng. : Institute of Physics ; New York : American Institute of Physics, c1979.		Proceedings of the 1983 Summer Computer Simulation Conference. v. 1 0 索取号：TP34-53/E901/1983/1 作者：Summer Computer Simulation Conference (1983 : Vancouver、 B.C.)、Society for Computer Simulation.、出版社：La Jo-lla Amsterdam : Distributed outside the USA/Canada : The Society for Computer Simulation North-Holland, c1983.
	Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings 0 索取号：TP311-532/E991/1991 作者：European Conference on Object-Oriented Programming (5th : 1991 : Geneva、 Switzerland)、Tokoro、 Mario、 1947-、Wegner、 Peter.、Nierstrasz、 Oscar Marius、 1957-、Wegner、 Peter.、出版社：Berlin : Springer-Verlag, c1992.		Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January, 24-26, 1983 0 索取号：TP312-53/E902/10 作者：ACM Symposium on Principles of Programming Languages (10th : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、出版社：New York, N.Y. : Association for Computing Machinery, c1983.
	Conference record : Sixteenth Asilomar Conference on Circuits, Systems & Computers : papers presented November 8-10, 1982, Pacific Grove, California 0 索取号：TP302-53/E801/16 作者：Asilomar Conference on Circuits、 Systems、 and Computers (16th : 1982 : Pacific Grove、 Calif.)、Kirk、 Donald E.、 1937- CAL n2005279638# ba0yba0y、Naval Postgraduate School (U.S.)、University of Santa Clara.、IEEE Computer Society.、出版社：Silver Spring, Md. : IEEE Computer Society Press, c1983.		CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings 0 索取号：TP302.2-532/E20011/1988 作者：Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、出版社：Berlin : Springer-Verlag, c1989.
	1977 IEEE International Symposium on Information Theory : Cornell University, Ithaca, New York, USA, October, 10-14, 1977 0 索取号：TP14-53/E806/1977 作者：IEEE International Symposium on Information Theory (1977 : New York)、IEEE Information Theory Group.、Institute of Electrical and Electronics Engineers.、Union Radio Scientifique Internationale.、出版社：New York : [s.n.], 1977?		Algorithmic learning theory 0 索取号：TP18/E9937 作者：International Workshop on Algorithmic Learning Theory (1st : 1990 : Tokyo)、Arikawa、 Setsuo、 1931-、Jinkō Chinō Gakkaii.、出版社：Tokyo : Ohmsha ; New York : [Sole distributor] Springer- Verlag, c1990.
	Robotics and expert systems : proceedings of ROBEXS 0 索取号：TP11-53/E906/1985 作者：Workshop on Robotics and Expert Systems.、Instrument Society of America. Robotics & Expert Systems Division.、出版社：Research Triangle Park, N.C. : Instrument Society of America, 1985-		Filtering and control of random processes : proceedings of the E.N.S.T.-C.N.E.T. colloquium, Paris, France, February 23-24, 1983 0 索取号：TP1-55/E903 作者：E.N.S.T.-C.N.E.T. Colloquium (1983 : Paris、 France)、Korezlioglu、 H. (Hayri).、Mazziotto、 G. (Gerald).、Szpirglas、 J. (Jacques).、Ecole nationale superieure des telecommunications (France)、Centre national d'etudes des telecommunications (France)、出版社：Berlin ; New York : Springer-Verlag, 1984.
	7th International Online Information Meeting, London 6-8 December 1983 0 索取号：TN91-53/E903/7 作者：International Online Information Meeting (7th : 1983 : London、 England)、出版社：Oxford, Eng. ; Medford, N.J. : Learned Information, [1984]		First European Solid State Circuits Conference, ESSCIRC, 2-5 September 1975 0 索取号：TN43-53/E801/1 作者：European Solid State Circuits Conference (1st : 1975 : University of Kent at Canterbury)、Institution of Electrical Engineers. Electronics Division.、Associazione elettrotecnica ed elettronica italiana.、出版社：[London] : Institution of Electrical Engineers, c1975.
	Biophysics and cybernetic systems : prceedings of the Second Cybernetic Sciences Symposium 0 索取号：Q5/E702 作者：Cybernetic Sciences Symposium (2nd : 1964 : University of Southern California)、Myles、 Maxfield.、Callahan、 Arthur.、Fogel、 Lawrence J.、United States. Office of Naval Research.、University of Southern California. Allan Hancock Foundation for Scientific Research.、出版社：Washington : Spartan Books, 1965.		A symposium on the use of isotopes in biology and medicine 0 索取号：Q5-3/E604/1947 作者：Symposium on the Use of Isotopes in Biology and Medicine (1947 : University of Wisconsin)、Clarke、 Hans Thacher、 1887-1972.、出版社：Madison : Univ. of Wisconsin Press, 1948.
	Boron in plant and animal nutrition 0 索取号：S13/E20031 作者：International Workshop on All Aspects ofAnimal and Plant Boron Nutrition (2001 : Bonn、 Germany)、Goldbach、 Heiner.、出版社：New York : Kluwer Academic/Plenum Publishers, c2002.		Multi-carrier spread-spectrum & related topics : third international workshop, September 26-28, 2001, Oberpfafanhofen, Germany 0 索取号：TN91-532/E20031 作者：出版社：Boston : London : Kluwer Academic Publishers, c2002.

	Machine-aided image analysis, 1978 : invited and contributed papers from the International Conference on the Applications of Machine-aided Image Analysis held at the University of Oxford, 4-6 September 1978 0 索取号：TP39-53/E802/1978 作者：International Conference on the Applications of Machine-aided Image Analysis (1978 : Oxford)、Gardner、 W. E.、出版社：Bristol, Eng. : Institute of Physics ; New York : American Institute of Physics, c1979.		Proceedings of the 1983 Summer Computer Simulation Conference. v. 1 0 索取号：TP34-53/E901/1983/1 作者：Summer Computer Simulation Conference (1983 : Vancouver、 B.C.)、Society for Computer Simulation.、出版社：La Jo-lla Amsterdam : Distributed outside the USA/Canada : The Society for Computer Simulation North-Holland, c1983.
	Object-based concurrent computing : ECOOP '91 workshop, Geneva, Switzerland, July 15-16, 1991 : proceedings 0 索取号：TP311-532/E991/1991 作者：European Conference on Object-Oriented Programming (5th : 1991 : Geneva、 Switzerland)、Tokoro、 Mario、 1947-、Wegner、 Peter.、Nierstrasz、 Oscar Marius、 1957-、Wegner、 Peter.、出版社：Berlin : Springer-Verlag, c1992.		Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January, 24-26, 1983 0 索取号：TP312-53/E902/10 作者：ACM Symposium on Principles of Programming Languages (10th : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、出版社：New York, N.Y. : Association for Computing Machinery, c1983.
	Conference record : Sixteenth Asilomar Conference on Circuits, Systems & Computers : papers presented November 8-10, 1982, Pacific Grove, California 0 索取号：TP302-53/E801/16 作者：Asilomar Conference on Circuits、 Systems、 and Computers (16th : 1982 : Pacific Grove、 Calif.)、Kirk、 Donald E.、 1937- CAL n2005279638# ba0yba0y、Naval Postgraduate School (U.S.)、University of Santa Clara.、IEEE Computer Society.、出版社：Silver Spring, Md. : IEEE Computer Society Press, c1983.		CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings 0 索取号：TP302.2-532/E20011/1988 作者：Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、出版社：Berlin : Springer-Verlag, c1989.
	1977 IEEE International Symposium on Information Theory : Cornell University, Ithaca, New York, USA, October, 10-14, 1977 0 索取号：TP14-53/E806/1977 作者：IEEE International Symposium on Information Theory (1977 : New York)、IEEE Information Theory Group.、Institute of Electrical and Electronics Engineers.、Union Radio Scientifique Internationale.、出版社：New York : [s.n.], 1977?		Algorithmic learning theory 0 索取号：TP18/E9937 作者：International Workshop on Algorithmic Learning Theory (1st : 1990 : Tokyo)、Arikawa、 Setsuo、 1931-、Jinkō Chinō Gakkaii.、出版社：Tokyo : Ohmsha ; New York : [Sole distributor] Springer- Verlag, c1990.
	Robotics and expert systems : proceedings of ROBEXS 0 索取号：TP11-53/E906/1985 作者：Workshop on Robotics and Expert Systems.、Instrument Society of America. Robotics & Expert Systems Division.、出版社：Research Triangle Park, N.C. : Instrument Society of America, 1985-		Filtering and control of random processes : proceedings of the E.N.S.T.-C.N.E.T. colloquium, Paris, France, February 23-24, 1983 0 索取号：TP1-55/E903 作者：E.N.S.T.-C.N.E.T. Colloquium (1983 : Paris、 France)、Korezlioglu、 H. (Hayri).、Mazziotto、 G. (Gerald).、Szpirglas、 J. (Jacques).、Ecole nationale superieure des telecommunications (France)、Centre national d'etudes des telecommunications (France)、出版社：Berlin ; New York : Springer-Verlag, 1984.
	7th International Online Information Meeting, London 6-8 December 1983 0 索取号：TN91-53/E903/7 作者：International Online Information Meeting (7th : 1983 : London、 England)、出版社：Oxford, Eng. ; Medford, N.J. : Learned Information, [1984]		First European Solid State Circuits Conference, ESSCIRC, 2-5 September 1975 0 索取号：TN43-53/E801/1 作者：European Solid State Circuits Conference (1st : 1975 : University of Kent at Canterbury)、Institution of Electrical Engineers. Electronics Division.、Associazione elettrotecnica ed elettronica italiana.、出版社：[London] : Institution of Electrical Engineers, c1975.
	Biophysics and cybernetic systems : prceedings of the Second Cybernetic Sciences Symposium 0 索取号：Q5/E702 作者：Cybernetic Sciences Symposium (2nd : 1964 : University of Southern California)、Myles、 Maxfield.、Callahan、 Arthur.、Fogel、 Lawrence J.、United States. Office of Naval Research.、University of Southern California. Allan Hancock Foundation for Scientific Research.、出版社：Washington : Spartan Books, 1965.		A symposium on the use of isotopes in biology and medicine 0 索取号：Q5-3/E604/1947 作者：Symposium on the Use of Isotopes in Biology and Medicine (1947 : University of Wisconsin)、Clarke、 Hans Thacher、 1887-1972.、出版社：Madison : Univ. of Wisconsin Press, 1948.
	Boron in plant and animal nutrition 0 索取号：S13/E20031 作者：International Workshop on All Aspects ofAnimal and Plant Boron Nutrition (2001 : Bonn、 Germany)、Goldbach、 Heiner.、出版社：New York : Kluwer Academic/Plenum Publishers, c2002.		Multi-carrier spread-spectrum & related topics : third international workshop, September 26-28, 2001, Oberpfafanhofen, Germany 0 索取号：TN91-532/E20031 作者：出版社：Boston : London : Kluwer Academic Publishers, c2002.